281. Program development in computational logic : a decade of research advances in logic-based program development
پدیدآورنده : Maurice Bruynooghe, Kung-Kiu Lau )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Computer programming,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
3049
282. Programming language implementation and logic programming :
پدیدآورنده : P. Deransart, J. Małuszyński, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
7
.
I59
1990
283. Programming language implementation and logic programming : International Workshop PLILP'90, Linkنping, Sweden, August 20-22, 1990 : proceedings
پدیدآورنده : P. Deransart, J. Maluszynski, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
456
284. Programming language implementation and logic programming : proceedings
پدیدآورنده : International Workshop PLILP '09 )0991: Linkoping, Sweden(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I59
1990
285. Programming language implementation and logic programming : 3rd International Symposium, PLILP'91, Passau,Germany, August 26-28, 1991 :proceedings
پدیدآورنده : J. Maluszynski, M. Wirsing, eds
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
528
286. Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1991
287. Programming language implementation and logic programming : 4th International Symposium, Leuven, Belgium, 1992 : proceedings
پدیدآورنده : M. Bruynooghe, M. Wirsing )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
631
288. Programming language implementation and logic programming : 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings
پدیدآورنده : International Symposium, PLILP '29 )4th: 2991: Leuven, Belgium(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1992
289. Programming language implementation and logic programming : 6th International Symposium, PLILP'94, Madrid, Spain, September 14 - 16, 1994 : proceedings
پدیدآورنده : Manuel Hermenegildo, Jaan Penjam )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
844
290. Programming language implementation and logic programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 1993 : proceedings
پدیدآورنده : International Symposium, PLILP '39 )5th: 3991: Tallinn, Estonia(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I5773
1993
291. Programming language implementation and logic programming : 5th International Symposium, PLILP'93, Tallinn, Estonia, August 1993 : proceedings
پدیدآورنده : Maurice Bruynooghe, Jaan Penjam, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
714
292. Programming languages and systems :
پدیدآورنده : Hongseok Yang (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses,Software engineering, Congresses
رده :
QA76
.
7
.
A65
2011
293. Programming languages and systems :
پدیدآورنده : Amal Ahmed (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
294. Programming languages and systems :
پدیدآورنده : Sukyoung Ryu (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7
295. Programming languages implementation and logic programming
پدیدآورنده : International Workshop PLILP '88 )8891: Orleans, France(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses,، Logic programming-- Congresses
رده :
QA
76
.
7
.
I59
1988
296. Programming languages implementation and logic programming : International Workshop PLILP'88, Orleans, France, May 16-18, 1988, Proceedings
پدیدآورنده : P. Deransart, B. Lorho, J. Maluszynski )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
348
297. Programming languages : implementations, logics and programs: 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996 : proceedings
پدیدآورنده : Herbert Kuchen, S. Doaitse Swierstra )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
1140
298. Programming languages : implementations, logics and programs : 7th International Symposium, PLILP'95 Utrecht, The Netherlands, September 20 - 22, 1995 : proceedings
پدیدآورنده : Manuel Hermenegildo, S. Doaitse Swierstra )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
982
299. Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming and constraint solving : 10th portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001 : proceedings
پدیدآورنده : Pavel Brazdil, Alipio Jorge, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2258
300. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
